Workaround for non-ascii cache file names (thanks to Kim)