Re: [gambit-list] Gambit v4.9.4 problems