Formally remove submodule

See 1c67d3a991d7e53d8ef904039220dbd8b9110d8d