[GiNaC-list] where is ginac-config?