Fixing capitalization for case-sensitive file-systems