Fix building on case-sensitive file systems