disable mpfr tests compilation, slightly speeds up the build process