do not specify (virtual) default destructor in derived classes when the base class already explicitly defines one See merge request !214