Add unnecessary virtual dtor to this class just to avoid -Wdelete-non-virtual-dtor from gcc (which is wrong here as this class is never used polymorphically, i.e. never deleted via a pointer to its base class).