fflush to stdin for batch reading