How to remove rev-plugins from Debian 9 (Stretch)