./compile.sh -DTIMING > timings.json