Eu tenho o mesmo problema.
O 7
vem de /etc/lsb_release
:
DISTRIB_ID=Debian
DISTRIB_RELEASE=7
DISTRIB_CODENAME=
DISTRIB_DESCRIPTION=
No entanto, parece que o arquivo /etc/lsb_release
não existe mais em nenhum pacote, mas foi mantido de volta (não encontrei nenhum bug relatado sobre ele).
Então, apenas removemos:
rm /etc/lsb_release
lsb_release -a
usará /etc/os-release
, que contém as boas informações.