convert2UTF8.sh: small update