update mysql_lib.php