Fix ssh and chris push hosts: fnndsc-->johannesburg.