revert version number of mpfr to 3.0.1

... and debug the problem later