ping_common.c: fix typo

Debian bug #698287