Compile benchmarks

In order to monitor the compilation time, build the compile-benchmark-* targets in verbose mode to get the exact command line, then run this command through a timer, by instance hyperfine.