Prevent unwanted .orig files when using git mergetool