mkdir -p "$SAGE_SHARE/pari"
cd src && cp -R * "$SAGE_SHARE/pari"
