core/isl to 0.12.2-1