Re: GiNaC Makefile