dev-tools: updated benchmark script