How to remove pike7.8 from Debian 9 (Stretch)