attempt to fix issue where CI only runs Xcode 5