fiddling with travis so he tests MPFR=no-mpfr