Fix bad submodule entry
Ignore in .gitmodules is not that helpful