add back the mutex in the pc destructor