http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53919
--- Comment #5 from Erik Schnetter <schnetter at gmail dot com> 2012-07-10 19:05:01 UTC --- Yes, the isl changes are part of what I mean. Since the version-specific install instructions are already there, they may as well be available on the web, and/or the web could warn about such possible differences.