Re: [GiNaC-list] cmake patch to find correct python executable