Migrate to 10.9 and Xcode 5