I had filed a bug with Gentoo:
https://bugs.gentoo.org/show_bug.cgi?id=459820
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?