Get hostname differently on Linux (actually a hack for Solaris).