#411: adjust '.gitmodules'