Comment 2 for bug 486370

Hi Fabio, this is in fact a problem with the FAT filesystem not making distinctions between two files of the same name with different capitalization. However, this may be true of FAT, many other operating systems will allow you to adjust capitalization in the file name without having to add a character to make the name distinct.