hrtimer: another build fix