patch-id: make it stable against hunk reordering