python sys.stderr flush