README: how to compile the benchmark script