bug in .gitmodules