How to remove mariadb-plugin-tokudb from Debian 9 (Stretch)