'Return a short distro identifier'

def make_shorter(self, distname):

    if (distname in self.distmap):
        return self.distmap[distname]
    else:
        self.distctr += 1
        self.distmap[distname] = str(self.distctr)
        return str(self.distctr)
