How to remove cobertura from Debian Unstable (Sid)