Change server name, now that DNS switch is done