Fix the tests for travis

Yesterday travis-ci made Xcode 5 available http://about.travis-ci.org/blog/2013-11-18-xcode-5-now-available-for-mac-ios-builds/

The tests do fail, but at least they now build. We can now focus on actually fixing the broken tests/code.