public virtual OutputStream GetOutputStream() { return OutputStream.Wrap (proc.StandardInput.BaseStream); }