because if the stream argument is NULL, fflush flushes all open output streams, or so I thought