fixes for xcode 5