The GNU diff utilities
