How to install gnome-mpv on Debian 9 (Stretch)