I had filed a bug with Gentoo: https://bugs.gentoo.org/show_bug.cgi?id=459820 On Jul 25, 2013 5:31 PM, "Vincent Povirk" <madewokh...@gmail.com> wrote:
> I have no opinion on this sort of work-around (it should work afaict, > and I haven't found any other places where we currently use toff_t), > but did you file a bug with whatever distro has such broken headers? > > >