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