The profiling option is ON by default, but everything in profiling/CMakeLists.txt is commeted out. Please resole the inconsistency. Exactly what is being profiled?