We need the full hostname for ssh