lua5.2: update to latest released version 5.2.3