[gambit-list] Gambit-C 4.0 beta 17