OK...this is probably just real dumb, but how do you change the host name? sudo hostname george will change the host to george, but then you get an error from gethostname(). Changing /etc/hostname and rebooting will, iirc, do it, but that seems a kludge. stew