[ping] Partially fix PR debug/53927

[Eric Botcazou]

https://gcc.gnu.org/ml/gcc-patches/2014-05/msg00573.html

Thanks in advance.

-- 
Eric Botcazou