For stable releases /etc/debian_version only contains a version number, so we add a prefix "Debian ".