Upgrading MariaDB to version 10