mysql: use another download url, cdn.mysql.com is slow after 30%