mpfr in travis