[gambit-list] problem with 'make update'