Update lua.hpp