Some updates in mpz_gcd