Windows names are dumb
Fix case-sensitive filenames