Allow to enable profiling at runtime and fix timings output.

ok gilles@