How to remove camlmix from Debian 9 (Stretch)