Install the hyperdex.h header