reorder /etc/hosts

now "hostname -f" results in the correct hostname.
Fixes #5835