Provide a default dtor for classes