Tweak gumbo/serialize/util.lua