How to remove libzeroc-ice3.5-cil from Debian 9 (Stretch)