- rel 3; try to build with isl 0.13; patch from archlinux (thanks qboosh)