Fix build on case-sensitive file systems (fixes #1)