http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48244
--- Comment #4 from Kai-Uwe Eckhardt <kuehro at gmx dot de> --- I have updated the patch for snapshot 4.9-20130630. If Gerald Pfeifer agrees to create a copy of freebsd-stdint.h and to keep the copyright line as is, then this could be done easily by someone with commit right.