[gambit-list] How to give gsi an end-of-file