Use patching for dart:io.

runtime/bin/platform.dart

Index: runtime/bin/platform.dart
diff --git a/runtime/bin/platform.dart b/runtime/bin/platform.dart
deleted file mode 100644
index b1dc0db05010d2fa74cff93a1721209f18750dc1..0000000000000000000000000000000000000000
--- a/runtime/bin/platform.dart
+++ /dev/null
@@ -1,36 +0,0 @@
-// Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
-// for details. All rights reserved. Use of this source code is governed by a
-// BSD-style license that can be found in the LICENSE file.
-
-/**
- * The [Platform] class exposes details of the machine and operating
- * system.
- */
-class Platform {
-  /**
-   * Get the number of processors of the machine.
-   */
-  static int get numberOfProcessors => _Platform.numberOfProcessors;
-
-  /**
-   * Get the path separator used by the operating system to separate
-   * components in file paths.
-   */
-  static String get pathSeparator => _Platform.pathSeparator;
-
-  /**
-   * Get a string ('macos', 'windows', 'linux') representing the
-   * operating system.
-   */
-  static String get operatingSystem => _Platform.operatingSystem;
-
-  /**
-   * Get the local hostname for the system.
-   */
-  static String get localHostname => _Platform.localHostname;
-
-  /**
-   * Get the environment for this process.
-   */
-  static Map<String, String> get environment => _Platform.environment;
-}