How to remove divxcomp from Debian 9 (Stretch)