[gambit-list] Gambit-C v4.0.1