bug4578: Upgrade to latest MySQL 5.1.x