deletion of old .gitmodules file