Cast objc_msgSend() for 64bit arch