Right, my ping and ifconfig are also from debian, so it seems.
I'm having trouble finding the link to the debian tarball
I used, but I did find this on Roger's website.

Hope this helps.

Pim