Use workaround for trivial destructor.