Re: Debian packaging - pkgconfig