GiNaC 1.0.13 now available