Add destructor for bufmanager