If you try to rename a file cause you want to change the capitalization you get this error:

You need to rename it to something else and the back to the name you want with the new capitalization.