fix build on linux file names are case sensitive