fix to specify not to use gmp (libgmp is linked in system w/ gmp)
Merge pull request #11 from tagomoris/without_gmp

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