Remove useless entry from .gitmodules