tdb: runtime check for robust mutexes may hang in threaded programs