fix .gitmodules -- it was broken after moving things around in the dotfiles directory.