message: Ralf Jung's great idea!
diff: @@ -337,7 +337,7 @@ path = "lib.rs"
  std::env::set_var("MIRI_SYSROOT", &sysroot); // pass the env var to the processes we spawn, which will turn it into "--sysroot" flags
  if print_env {
  - println!("MIRI_SYSROOT={:?}", &sysroot); // for Windows users, prints path with backslashes escaped.
  + println!("MIRI_SYSROOT='{}'", sysroot.display().to_string().replace('\'', r#"'"'"'"#));
  } else if !ask_user {
  println!("A libstd for Miri is now available in `{}`.", sysroot.display());
  }
  