cleanup dist.ini, move mpfr install to shell script