add missing virtual destructors