added script to convert the character encoding of files