pthread_mutexattr_setprioceiling: valid priority ceiling check looked at value in attribute structure instead of passed in priority