Convert to utf-8 instead of ASCII; added encoding command line option