How to remove libtachyon-openmpi-0-dbg from Debian Unstable (Sid)