provide clock_gettime() implementation for lovely OSX, which doesn't have it