update debian/install_packages.sh: run another script by /bin/sh