Patch to fix ExtJS optimizer