#792: load_dataset.php, change 'flag_syntax' -> 'flag_utf8'