Update for Xcode 5.0