* doc/install.texi (Prerequisites): Increase ISL requirement to