Call sys.exit() directly from do_exit() (#253)