force flush for formatted_output