Please push mpfr-3.1.2. It's a bugfix release, see http://www.mpfr.org/mpfr-current/#changes Thanks! Mitya