Bring everything up to date (for current SDK, and for Xcode 5)