How to remove libisl15 from Debian 9 (Stretch)