Re: [ET Trac] [Einstein Toolkit] #770: franklin and kraken hostname identification conflicts