http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58441
--- Comment #5 from ctice at gcc dot gnu.org --- Created attachment 30888 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30888&action=edit Patch to fix the problem The Makefile was installing the headers in the wrong place. This patch should fix the problem. I am currently testing this and will later submit the patch for approval.