cheap hack to make extensions work