[gambit-list] Re: gambc40b12 failed TEST 7 check on Linux RHEL 3.0 clone