Any one know what happened to the Debian binaries?<br><br>Jim<br>