Update mysql.lib.php