[gambit-list] enable-single-host and gcc 4.2.3