ignore new git-diff index header when computing patch ids