repair charsets_table.php