Re: [gambit-list] build failure after latest make update