[tools] disable mpfr tests compilation, slightly speeds up the build process