Fixed wrong name on mpfr download step