Accommodate new git-diff-tree output format