fflush stdout