getpid.sh: use /bin/pidof when available