Update mpfr to latest version
Delete old mpfr patch