This way, we can make sure we are using the right version in build scripts (and, some distributions don't install unversioned lua).