fix file capitalization

To allow it to build on linux.