(ITS#8620) GCC error undeclared PTHREAD_MUTEX_ROBUST