Re: [gambit-list] New make update problems