K 10 svn:author V 6 gerald K 8 svn:date V 27 2019-12-24T05:24:49.969591Z K 7 svn:log V 110 Use DISTNAME in two cases instead of replicating its definition. That'll also ease maintenance going forward. END