Added a dummy definition of pthread_mutex_t and PTHREAD_MUTEX_INITIALIZER