[GiNaC-list] GiNaC versus GCC 4.2 [Was: [patch] fix template template declarations...]