fix case-sensitive file systems