WDYT? There has been some activity around TokuDB in later versions of MariaDB, maybe we can enable it again with 10.4. For now, I think we should just disable it.