Introjucer: avoided warnings for old 3rd-party code in Xcode 5.1