Use git-merge-file in git-merge-one-file, too