Add flush-stdout.