Use gettimeofday for system clock on Mach platform.

[SVN r86379]