Upgrade to lua 5.2