GiNaC 1.1.2 now available