Unbit-specific workaround for broken robust mutexes