Make fix for Xcode 5