Use server-database repository to get latest version of MariaDB