Update "stm-benchmarks"