ie11 dart2js workaround fixes