spelled correctly as strings the operating system names; Debian and
Ubuntu can be grouped