changing gitmodules to (hopefully) build correctly on git pages.