Add virtual destructors to virtual classes