Use more reliable MariaDB download mirror.