when does python flush stdout