catch SIGABRT