Reverse auto upgrade to xcode 5 as it breaks compatibility with xcode 4