Further updates to GMP and MPFR versions