How to remove cloog-ppl from Debian 9 (Stretch)