#557 SSH.escape()