Fix git error: renaming file