Assume users are using Xcode 5.1.