Re: [PATCH] Fix debian packaging