Fix casting protocols on Objective-C messages.