Re: [PATCH] Add profiling cmdline option