Explain seemingly pointless use of system in difftool