use the c++ steady clock which is guaranteed not to be messed with by DST etc.