Removing obsolete .gitmodules