xxdiff: update to current HEAD of the source repository