add sigsegv handler