Use short distro name, if the linux distro has no codename