Re: [gambit-list] Cross-compilation Q