I updated it manually because the versions didn't match after `git pull`. Is `git pull` supposed to update the submodules? It isn't doing it for me.