Diff gambit-4.9.3-r2 with a gambit-4.9.4-r1

Thank you!