wget https://www.lua.org/ftp/lua-5.1.5.tar.gz || wget https://deb.debian.org/debian/pool/main/l/lua5.1/lua5.1_5.1.5.orig.tar.gz