Configure script now sets what Lua version to use (by default, the system's default Lua)