[gambit-list] Patches to allow to merge upstream with make update