Fixes for bootstrap_debian.sh for docker