fixes in manual_debianization.sh