Revert "disable LUA 5.2", cf. #1179

This reverts commit 994bd0a9104889ea70f4a182981e199fb0683461.