use luajit copyright info, etc