properly retrieve SDK platform path through xcrun