add long-neglected host7 to /etc/hosts