Auxiliary scripts for running hyperdex