cope with changed git-diff-tree output format