Fix to build on case-sensitive file-systems