Fix broken dependency on case-sensitive filesystems