replace json.lua with one that supports utf-8