message: Flush for Redox stdin_of
diff: @@ -105,6 +105,7 @@ pub mod crossplat {
  // Write the contents; make sure to use write_all so that we block until
  // the entire string is written
  infile.write_all(input.as_ref())?;
  + infile.flush()?;
  // `infile` currently owns the writer end RawFd. If we just return the reader end
  // and let `infile` go out of scope, it will be closed, sending EOF to the reader!
  Ok(Stdio::from_raw_fd(reader))
  