some more grooming on the gitmodules