GiNaC 1.1.3 released