Flush stdout