python stdout not flushing