Re: [gambit-list] Proposed changes to makefile targets