[Boost-users] Encoding with read_xml()