fix gcd-machine.scm 5.2.scm