updated patch for dart.js