fix return value of mpfr_patch