re #9612 replace non ascii characters