tc@box:~$ ll /bin/*server
                              -rwxr-xr-x    1 root     root          9103 Jul  2 07:34 /bin/pubsub_server
                              -rwxr-xr-x    1 root     root          9105 Jul  2 07:34 /bin/pushpull_server
                              -rwxr-xr-x    1 root     root          8956 Jul  2 07:34 /bin/reqrep_server
                              tc@box:~$ sudo /bin/pubsub_server
                              sudo: unable to execute /bin/pubsub_server: No such file or directory
                              tc@box:~$