Let's not deal with non-ascii filenames