[gambit-list] Proposed changes to makefile targets