http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58238
--- Comment #2 from DJ Delorie <dj at redhat dot com> --- Please try the attached patch. I tested it with a simple "#include stdint.h" but we made the type names exact matches (way back when) for a reason...