demangle stacks in abort(), using new stackTrace utility