Update run-after-install-debian.sh