How to remove galette-plugin-admintools from Debian 9 (Stretch)