added support for Xcode 5
for xcode 5, we need to specify a version to select on the menu