Fix casting of objc_msgSend