tools/mpfr enable parallel builds