Allow the user to change the temporary file name for mergetool