Workaround for broken linux installs with encoding set to ANSI_X3.4-1968

Got a second bug report from a user running such a system today. So
workaround it.