Reverted to lua-5.1.5.