How to remove ivyplusplus from Debian 9 (Stretch)