demangle the C++ function names in print_stack_trace()