[gambit-list] Gambit 4.0b11 and ICC 8.1