debian/local/manpages/catchsegv.1