fix possible failure-to-wake deadlock with robust mutexes