tsan: add support for robust mutexes