How to remove liblrsgmp-dev from Debian Unstable (Sid)