core/isl to 0.12.1-2