How to install ginac-tools on Debian Unstable (Sid)