GiNaC 1.0.12 "Halloween Edition" now available