How to remove trilinos-dev from Debian Unstable (Sid)