lua: hardcode version number