delete vestigial .gitmodules file