Small shell script to change the character encoding from ISO-88597 to utf-8