Re: [GiNaC-list] [PATCH] build system: wipe deprecated autoconf macros