How to remove cvc3-el from Debian 9 (Stretch)