| Index: pkg/async_helper/dartino.patch | 
| diff --git a/pkg/async_helper/fletch.patch b/pkg/async_helper/dartino.patch | 
| similarity index 98% | 
| rename from pkg/async_helper/fletch.patch | 
| rename to pkg/async_helper/dartino.patch | 
| index 9d3694ae7793b3deecd224baafbe792a2b5e8efe..99dfbf137760f7dfad80446ed44420ed81cc07ce 100644 | 
| --- a/pkg/async_helper/fletch.patch | 
| +++ b/pkg/async_helper/dartino.patch | 
| @@ -7,7 +7,7 @@ index 37496bc..1b8acf4 100644 | 
| // It would be nice if we could use a different mechanism for different | 
| // runtimes. | 
| -import 'dart:isolate'; | 
| -+import 'dart:fletch'; | 
| ++import 'dart:dartino'; | 
|  | 
| bool _initialized = false; | 
| -ReceivePort _port = null; | 
|  |