[GiNaC-devel] CMake improvements