Check for gmp when checking for mpfr