Specify MariaDB version to be installed