Followup of #4705: we can't skip the binary buffering layer for stdin because FileIO doesn't have a read1() method