[gambit-list] [PATCH 6/6] makefile.in: remove sub-paths from $(REMOTE) for git remote update