replacing the pthread_mutex in scheduler_t with the wrapped implementation.