Update to build under Xcode 5.1