-fcatch-undefined-behavior is deprecated in Xcode 5.1