Fix the patchmysql.php script.