fix build break

for some reason, the benchmark is never rebuilt automatically, and I just don't see why not ...