Add some missing virtual keywords on derived-class destructors