Bump lua 5.1