Update timer.h