(C) Fix compilation error when the profiling option is enabled.