blog about fix ssh broken pipe bug