Add check for mpz_powm in libgmp3.