xmldemo: Use read_to_str()