In any case, you'll have to set the `--with-gmp` correctly as I noted before.