Assume XCode 4 or later (unpatched)