From my days as a C/C++ dev I find it very hard to believe these are public headers if they have no install target and aren't in an `include` directory or something. If we install private headers upstream will (rightfully) get pissed at us if they find out.