std: io: flush stdout on stdin read from tty