Issue #3067: Fix the error raised by locale.setlocale()
4 files changed