Update distro_setup.sh to match new property file