mpfr to version 1.0.1