[checkmk-commits] Fixed undefined behavior: For base classes, the destructor should better be virtual.