How to remove kodi-pvr-mediaportal-tvserver from Debian 9 (Stretch)