fix build (as well as make it build on case sensitive filesystem).