hack to force local filenames to be treated as UTF-8