ifdef my way around OS X's lack of clock_gettime().

This fix isn't ideal if you really care about the real-time clock, but here
it's just used for printing.