change-Makefile-for-Debian.diff
remove-pause-from-match.diff
fix-manpage.diff
fix-ptraceable-directive.diff
