Seems like these headers are missing, which makes these SDKs fail to work with [osxcross](https://github.com/tpoechtrager/osxcross)