fail with an error message if user is on xcode 5.0.1 (address #1377)