- lua.hpp header is already included in lutok