Game server: now includes Lua's version on startup (I can never remember what we're at!).