Assume remote-bash is available as a tool