[PATCH] mmtimer build fix