modify ext-gcd