fix broken Redis submodule path