Fixing .gitmodules