Update installation-debian.sh