Explicitly default the destructor.