python flush stdout stderr