Deal with binary diff output from GNU diff 2.8.7