How to remove camlidl from Debian 9 (Stretch)