run2.sh now generates debians