Temporary workaround to fix issues with non-Unicode filenames