Update timer.h for win32