Re: [gambit-list] --enable-single-host comments in INSTALL.txt