Fix inclusion of Mroonga & TokuDB plugins in mariadb-server-10.0