Fix Mac OS X tim using ntpdate