[args4j] More src encoding fixes.