[gambit-list] Brad, just to get up to date about GCC memory consumption and other GCC bugs re Gambit