http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53300
--- Comment #7 from David Edelsohn <dje at gcc dot gnu.org> 2012-05-10 20:27:52 UTC --- Your patch in comment #5 seems to work around the problem. I will try to figure out which file omits the symbols.