64bit compatibility for objc_msgSend