git mv file on case sensitive filesystem