Correct character encoding of main2.cpp.