Replace accented character in unknown charset with unicode equivalent (#10251)

To test: find a system where `./build.py build-all-dev` fails in the test-compile target due to a charset encoding error. This should fix it.