https://bugzilla.redhat.com/show_bug.cgi?id=795426
--- Comment #5 from Christophe Fergeau cfergeau@redhat.com --- Sorry, dunno what I was thinking, I did not pay attention to the 'linux' bit in x86_64-redhat-linux-gcc and assumed this was a mingw one /o, apologies for the noise.