Fix duplicate timerCount in cenTimer.h