allow multiple names for the same distro (#1)