rename to work in case-sensitive file systems