implements cpu_times on freebsd.