apply Gaudi Merge Request 214: gaudi/Gaudi!214 (merged)
do not specify (virtual) default destructor in derived classes when the base class already explicitly defines one