[gambit-list] Bit rot in benchmarks?