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