Make gmp/mpfr support optional