Fix Redis install (make distclean; build reps)