Windows doesn't care about capitalisation in filenames