tsan: fix and re-enable a test