Cannot have the base class destructor be private (or explicitly deleted); fixing the build bots.