Update debdistro.sh