insert file back into repo, lost in merge