fails:Encoding.default_external with command line options is not changed by the -U option
fails:Encoding.default_external= also sets the filesystem encoding
