Delete gcd.ml