We don't use the git submodule anymore