redex: fix some more benchmark paths