switched to public repo for lua submodule