Always force eAscii as encoding for symbols in 1.8