Do not write into the user know host file

This will generate huge warnings if the server is then changed

Change-Id: Ic9f895a9c51350832facff55ecce34380faf70d8