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