Use non-pure virtual destructors