non-ascii char replacement by unicode notation