small cleanup in timer.cxx

Change-Id: Ia47c1775bc13596bf854475dd786c50c9c9b6e25
maybe that will fix my windows crashes

Change-Id: Idedfe8c0385712807c7f810d5275947310f24df4