On Tue, Nov 5, 2013 at 4:54 PM, Joachim Breitner <mail at joachim-breitner.de> wrote: > Alternatively, what distribution are you using? I could provide debian > binary packages. I use Debian testing, yes, so that would work. -- gwern http://www.gwern.net