Restore destroy of external processors

See dd608b47e8823a23cbb12fcf7cb801a842b9bf82