format print_stack_trace output on linux