fix to specify not to use gmp (libgmp is linked in system w/ gmp)