flushing stdout after printing header