python flushing stdout