Another .gitmodules fix