fix to Xcode 5.1