Proposal for turning off standard I/O buffering

I recommend reading the follow-up at https://blog.plover.com/Unix/stdio-buffering-2.html too.