On Sat, 18 Jun 2016, Miika Turkia wrote: > > I just sent a patch that should take care of these in the INSTALL > file. Thanks for letting us know what works on Debian. Thanks. Cheers, -- Cristian