minor modification

- sys.__stdout__ is the value stdout had at the beginning of the Python program.
- instead, let's reconnect to the stdout stream we used immediately before we
  redirected into the StringIO object. This should be (mildly) more robust.