Re: [GiNaC-list] modify source, run make, then ...