fix #3637 (by versioning the cache-directory)