Re: [gambit-list] GCC Optimization setting