tsan: fix debugging output