Removing unnecessary file (created by mergetool)