more robust: ignore existing gmp installation, but let veriT incorporate extern/gmp;