main.cpp: backing out change to stdin buffering. stdout buffering remains.