How to change the name (hostname) of the Deployment Server