Overloaded io.flush.