Update to hyperdex HEAD from nh2