add logging of stack symbols after receiving SIGABRT;
