Properly flush SSH socket output.