[gambit-list] build problems with current master