DateSet: use BUILD_TIME, bug #433964