Adding a destructor for the default backend