Looks like we've found a bug in git submodules; moving a submodule updates the .gitmodules file with a slash at the end of the path, which apparently submodule doesn't actually like; probably should report this to the git team...