hostnames are defined in /etc/hosts