Remove TokuDB from old MariaDB