How to remove verilog from Debian Unstable (Sid)