Re: [gambit-list] --enable-single-host and --enable-gcc-opts