Updated for when Travis CI gets up to Xcode 5