add msgpack-python for the VM synthesis