Make sure mpz_t is defined