(_IO_old_do_flush): New.