How to remove mpi-specs from Debian Unstable (Sid)