update for timer.h for darwin