Fix 1.8 symbol compilation after encoding change. Fixes #2307.