How to remove openstv from Debian 9 (Stretch)