travis: use US site for downloading MariaDB source