Cómo desinstalar libxmpi4-dev en Debian Unstable (Sid)