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