MS Windows does not distinguish upper/lower case filenames