fix isl manifest and build