Update build_debian.sh