Re: [gambit-list] Automatic build system for Gambit