Thanks for your message.
Well, the file is named properly in our codebase, but I think it is not correct on your environment.
We renamed that file some time ago, and I suspect that you’re pushing your files with Git. In that case, make sure that Git recognizes case-sensitive changes. Or you could rename the file yourself on our server of course, which I’m sure you already did to fix it.