[gambit-list] Cygwin installation