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