turn off STDOUT buffering

The buffer appears to be quite large...