fix the error for the mutex's typedef