some sort of Xcode 4.6 imposed change.