Fix for case-sensitive filesystems