Add shortnames to /etc/hosts again.