Add OS X support to the timer code