Re: [gambit-list] Trying to run Gambit benchmarks