Re: [patch] add missing .so files to debian packaging