sys/ping/ping.c: malloc size of type, not size of pointer