Trying to install GNU-5.1.0-2.25 or GNU-5.2.0-2.25 fails in configure of Stage 3 of GCC with reference on wrong isl (see easybuilders/easybuild-easyconfigs#2001 (comment)).
GNU-4.9.3-2.25 succeeds.
See https://gist.github.com/torbjoernk/837b1c0e6382d8e91a86 for test report and full log file