How to remove infiniband-diags from Debian Unstable (Sid)