fix up some version handling so we can use ios 7.0 with xcode 5.1 for example