[gambit-list] Trying to run Gambit benchmarks