changed Timer.h to re-enable build under current g++