Re: [nhc-bugs] Time profiling on Mac OS X