steve.py: bug fix: print_stack_trace

print_stack_trace calls format_exc which messes up my stacktrace gluing
thingy. I fixed it