bug4578 Upgrade to MySQL 5.1.72