I have the very same issue and solution, I did however find a ping-packet though I'm not sure if it's part of the original distribution. The tablet I have is used by the group I'm with at my university so it is quite possible that someone else installed ping.
For me the binary is located at /var/lib/install/usr/bin/ping

I would love to know if any of you guys have found a better (real) solution.