C or C++ : Mutex double destroy