[gambit-list] Gambit 4.0 under MS Windows