Update hyperdex to 1.3