ping: flush stdout when a truncated response is received

Debian bug: #628893