Support `--prof` option for profiling