Re: [GiNaC-list] Building ginac without pkg-config