Comment by orra

Moreover, I'd be nervous about the fact that filenames on Windows tend to be case insensitive.