another fix to gitmodules