http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54834
--- Comment #4 from Tobias Schlüter <tobi at gcc dot gnu.org> 2012-10-09 14:06:19 UTC --- I ran make in a directory with a pre-existing build, ao maybe that include file was an old leftover. Please don't invest any further time in this now, I'll try a clean build first.
