use mirror URL for MariaDB