[PATCH 06/12] timer.c: cleanup printelapsedtime()