Fix path for case-sensitive file systems.

Fixes building on Linux.