fix for XCode 5.1