RE: [gambit-list] Gambit 4.0 under MS Windows