Git: modify file name