Virtual destructors cause problems with `extern(C++)`.  We've recently removed all of them from the frontend.