Actually flush stdio rather than all io.