Improve performance of get_cpu_time() on OS X by avoiding a kernel trap to get the ID of the underlying system thread. Rev: src/configure.in:1.1078 Rev: src/rusage.c:1.53