Lua 5.1.4 has been released. It fixes all known bugs in Lua 5.1.3.