add isl-0.12.2