fix mysql.php