better support for robust mutexes