Update mysql.inc