Added workaround to keep milliseconds in dvce_tstamp