core/isl to 0.12-1