GiNaC 1.1.5 now available