Fix gerrit-server-name to a the correct setting