Fix submodules.

Unfortunately changing a github username or repository name breaks
submodules in some contexts. We should find a way to work around this,
but for now I'll just fix them.