[gambit-list] Gcc options