git rename of case sensitive file names