How to remove coqide from Debian 9 (Stretch)