fix redex benchmark dependencies