Switch build to Xcode 5. Hack to simplify output name.