$ 0 0 A shell script went wild due to some bug, and the script overwrote a binary file /bin/ping. Here is how tor restores it.