ISL: upgrade to 0.11.1

* Also update mirror URL.