Changing raspberry ssh config from hostname to IPv6 address