updated timer_setup.h to include some old bugfixes