[gambit-list] GCC Optimization setting