Fix a problem with allocation of temporary mpz in gmpcompat.h.