Code

difftool: provide basename to external tools