MariaDB repo fix