Projects that use the tribol, redecomp, and tribol_shared libraries have include paths that don't make it clear that the source of the include is Tribol. See, for instance, this comment.
Perhaps we could move all the installed header files to the path include/tribol/[tribol, shared, redecomp]? Thoughts @white238, @srwopschall, @chapman39?