account for non-ascii filenames