shorten fix_etc_hosts.sh