Properly flush stdout.