timer: 64bit printing fixup