And GiNaC-1.0.7 shall be made legion...