update debian/install_packages.sh: fix url