[gambit-list] [PATCH] Patch to speed string comparisons and hashing