convert json file to lua