added ieee->utf8 filename fixer utility and ignore bad filenames in server