Use the SDK dir to look for the libxml headers. This will make them use the proper headers on iOS.