RR: getting the /etc/host file consistent across machines.