Vagrant Box bento/ubuntu-20.04 で Building MariaDB on Ubuntu に従い MariaDB をビルドした（※）ところ、TokuDB に関連するテストが FAIL した。なお MariaDB のバージョンは mariadb-10.4.18 である。ここに解決方法を記しておく。 ※ ただし、記事中の 1…