add export_lua.cc