Work around for SSHLauncher bug in ssh-slaves-plugin 1.6