New version of msgpack that depends on batteries, and does not require coq