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