now using the right MariaDB repo depending on OS name, version and arch