mergetool: use more conservative temporary filenames