I checked that RPM-centric distributions ship the headers in this prefix.