The GNU diff utilities