fix filenames broken build in linux due to casing