Really delete the submodule whose files where removed with d51faaf32c0c5fd5a58c9c7943de0616357559d6