C or C++ : Mutex double initialization