Tentative fix for LRUcache bug (with Python 2.7.11?), reported by