one more whack at GMP and MPFR versions for Travis