JIT changes for Symbol encoding issue #2172.