updating to work on case-sensitive file systems