Re: [gambit-list] Performance of different versions of gcc