If you take the time to read it all, he mentions that he is using a hacked version to handle the encoding he wants.. and points to a zip file with his version .. so look at the JSON encoding section in that article..