Fix some assumptions about Debian distro version