Issue #27: attempt to recognize sigsegv and exit with nonzero status