modding .gitmodules slightly