fix name of git submodule