Update isl (requested by Tobias Grosser)