fflush on output instead of stdout