Tweak examples/unfinished/benchmark script