redex: fix distribution cache in search