--enable-timers causes compilation error on master

As the title says, configuring with timers on master produces the following error:

runner_time_integration.c(1612): error: identifier "timer_do_sync" is undefined
    if (timer) TIMER_TOC(timer_do_sync);
               ^

runner_time_integration.c(1771): error: identifier "tic" is undefined
    if (timer) TIMER_TOC(timer_do_rt_collect_times);

In the former case the label does indeed not exist. While the latter is caused by a missing TIMER_TIC.