Benchmark launcher binary for ESESC