update for Xcode 5.0.2