patched to use lua 5.2.3 instead of 5.1