Fix bitrot in TR benchmark.