lua: update to 5.2.3.