cope with changed git-diff-tree output format
-rwxr-xr-x 37825 gitk