debian_customize.sh: made executable