Version 1.12.3

Change the output encode to UTF-8 so that it can contain more kinds of
symbol.