What should my host-profiles.xml look like for the Automated Deployment Engine?