[ping] Fix PR bootstrap/58509

[Eric Botcazou]

http://gcc.gnu.org/ml/gcc-patches/2013-09/msg02000.html

Thanks in advance.

-- 
Eric Botcazou