Fix dgate-setup.sh