Better way to produce UTC timestamp