Reduce ssh escaping so the command 'platform ssh -i ~/.ssh/id_rsa.pub' works.