Fix building on case-sensitive file systems

...case-sensitive file systems.