fix for case-sensitive file systems