Choose the input source file encoding in a locale-independent way.