Fix "flush not implemented in LazyIo"