fails:Encoding.default_external with command line options is not changed by the -U option
