r fix
csage: gmp_or_mpir fixup