add detect_encoding_of_filename_in_zip.php