linuxify mpfr