test-ping.c: correct uint64_t printf conversion

gcc version 4.7.2 (Debian 4.7.2-5) complains about incorrect conversion