Corrected the GMP & MPFR workaround.