Switch back to github mirror of isl