How to remove mplayer-doc from Debian 9 (Stretch)