Do not use profiling numbers in the logs by default

This makes the diffstat of the logs huge for identical runs.