update isl for dropping -Wcovered-switch-default flag