fix benchmark/tx.c