theron: added support for OSX MACH timer for Clock timing API