mpfr doc install removal