bin/ping-box: make script works for a Debian user

Signed-off-by: Nicolas Iooss <nicolas.iooss@example.com>