Add the ginac package