mergetool: no longer need to save standard input