How to remove oggvideotools from Debian 9 (Stretch)