mv: update the path entry in .gitmodules for moved submodules