stream.jl: flush() for Pipe, too