Update for lua-5.3.0-rc0