update debian/install_packages.sh: add make