A script to synchronize the latest MariaDB and mroonga