Bump isl version to 0.12