Different MariaDB download URI

This change causes a different MariaDB download URI to be used.