install: map debian_version 9.X to debian stretch without lsb_release

Signed-off-by: Victor Vieux <victorvieux@gmail.com>
Upstream-commit: f8360d002d6e54e923d817bda5409835829119fc
Component: engine

components/engine/hack/install.sh

@@ -366,6 +366,9 @@ do_install() {
 		debian|raspbian)
 			dist_version="$(cat /etc/debian_version | sed 's/\/.*//' | sed 's/\..*//')"
 			case "$dist_version" in
+				9)
+					dist_version="stretch"
+				;;
 				8)
 					dist_version="jessie"
 				;;