[sr-dev] git:master:7562aed2: benchmark: fix build warning