https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68229
--- Comment #4 from Todd Allen <todd.allen at ccur dot com> --- It appears to have been fixed in gcc-4.9.0 by Sterling Augustine, 2013-07-25, with the new include_pubname_in_output function. I don't have a 4.9.0 compiler, but I did test it with gcc-4.9.2 on Fedora 21, and that worked. I'll take up the issue with RedHat, since it's RHEL 7.0 that provides gcc-4.8.x still.
