tried another hack to make dart2js work