On 28/12/2019 18.03, Eyal Rozenberg wrote: > FYI - A bug report I've recently filed against Devuan, which is actually > an issue with the Debian package. Great software that does not look in the system default paths ... Thanks for the report and testcase, fix uploaded. Andreas