Fix the issue with case-sensitive file systems