Simple server name change. To do: make this into a parameter outside repo.