workaround for filenames on Windows