Use XCode 5.0.1 for gloo-workstation::xcode