On Fri, Jun 13, 2014 at 5:54 AM, Benjamin Gilbert <bgilbert at cs.cmu.edu> wrote: > We should probably just use libjxr directly, though we might need to > make it an optional dependency for a while. It's already packaged in > Debian jessie and Ubuntu >= saucy. (Hi Mathieu!) small world indeed ;) -- Mathieu