I don't like this function.  When in doubt, leave it out.

It's UNIX specific and socket.gethostname() has to do the right thing.  If not, we're too far in despair to guess.