compile gcd.ml