By default, one can now build the benchmarks from make timings. They are build along with the lib if BUILD_BENCHMARK is set to ON.
